IEEE Transactions on Software Engineering - PDFSEARCH.IO - Document Search Engine

IEEE Transactions on Software Engineering
Results: 130

#	Item
41	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
42	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 4, Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:19
43	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, 201X Add to Reading List Source URL: dijkstra.cs.virginia.edu Language: English - Date: 2015-07-15 08:37:32
44	54 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 38, Add to Reading List Source URL: dijkstra.cs.virginia.edu Language: English - Date: 2012-01-26 15:34:58
45	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TBD 1 Automated Oracle Data Selection Support Gregory Gay, Matt Staats, Michael Whalen, Senior Member, IEEE, and Add to Reading List Source URL: www.greggay.com Language: English - Date: 2015-08-14 12:48:27
46	Littlewood, B. & Rushby, JReasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, doi: TSECity Rese Add to Reading List Source URL: openaccess.city.ac.uk Language: English - Date: 2015-05-07 02:49:03 Engineering Safety Risk Reliability engineering Design for X Survival analysis Safety integrity level Redundancy Availability Probability
47	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. ?, NO. ?, JULYA Component Model for Model Transformations Add to Reading List Source URL: www.miso.es Language: English - Date: 2014-10-12 06:39:01
48	279 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997 The Model Checker Add to Reading List Source URL: spinroot.com Language: English - Date: 2014-05-18 16:02:08
49	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 38, NO. 6, Add to Reading List Source URL: www.franktip.org Language: English - Date: 2016-01-22 11:53:09
50	2015 12th 2015 Working IEEEIEEE 12th 12th Add to Reading List Source URL: ronia.net Language: English - Date: 2015-05-04 14:49:16 Modeling language Scientific modeling Software design Software testing Software architect Collaborative software Software development process IEEE Transactions on Software Engineering Entity-relationship model Computing Science Software

UPDATE